Real computation - PDFSEARCH.IO - Document Search Engine

Real computation
Results: 106

#	Item
81	Mortgage Interest Differential Payment Computation Project Title: Parcel No.: Add to Reading List Source URL: www.wsdot.wa.gov Language: English - Date: 2013-08-16 14:57:53 Banking Mortgage loan Debt Real estate Mathematical finance Negative amortization Adjustable-rate mortgage Mortgage United States housing bubble Finance
82	613, 2010 Complete Millage Reduction Fraction Computation Add to Reading List Source URL: www.michigan.gov Language: English - Date: 2014-04-24 09:06:53 Tax Property tax Taxation Business Money Economics State taxation in the United States Real property law Finance Public finance
83	Educational Service Unit (ESU) LC-3 Lid Computation Form and Levy Limit Form Instructions See the Budget Form Instruction Manual for overall guidance. LC-3 Lid Computation Form Line (1) – Add to Reading List Source URL: www.auditors.nebraska.gov Language: English - Date: 2014-08-04 16:46:46 Business Property tax Valuation Tax Property tax in the United States Finance Real property law Economics
84	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Models of computation Model checkers Esterel Automata theory Model checking SIGNAL Theoretical computer science Uppaal Model Checker Computing Hardware description languages Synchronous programming languages Software engineering
85	Ranking Results of CEC’13 Special Session & Competition on Real-Parameter Single Objective Optimization October 15, [removed] Add to Reading List Source URL: www.loshchilov.com Language: English - Date: 2014-02-28 11:29:18 Mathematics Cybernetics Stochastic optimization Genetic algorithm Evolutionary computation CMA-ES Memetic algorithm IEEE Congress on Evolutionary Computation Algorithm Evolutionary algorithms Applied mathematics Mathematical optimization
86	Generating Map Sketches for Strategy Games Antonios Liapis1 , Georgios N. Yannakakis1,2 , and Julian Togelius1 1 Center for Computer Games Research IT University of Copenhagen Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2013-08-26 11:58:55 Operations research Mathematical optimization Science Population genetics Genetic algorithm Evolutionary computation Real-time strategy Fitness Evolutionary algorithm Cybernetics Evolutionary biology Applied mathematics
87	Sentient Sketchbook: Computer-Aided Game Level Authoring Antonios Liapis Georgios N. Yannakakis Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2013-08-26 11:58:55 Constraint Real-time strategy Evolutionary computation Level design Cartography Applied mathematics Science Software development Mathematical optimization Genetic algorithm Candidate solution
88	ASYMPTOTIC DENSITY AND THE ERSHOV HIERARCHY ROD DOWNEY, CARL JOCKUSCH, TIMOTHY H. MCNICHOLL, AND PAUL SCHUPP Abstract. We classify the asymptotic densities of the ∆02 sets according to their level in the Ershov hierarc Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-02-03 11:22:38 Field theory Computable number Real closed field Natural density Recursively enumerable set Limit superior and limit inferior Itō diffusion Mathematics Theory of computation Computability theory
89	ASYMPTOTIC DENSITY, COMPUTABLE TRACEABILITY, AND 1-RANDOMNESS URI ANDREWS, MINGZHONG CAI, DAVID DIAMONDSTONE, CARL JOCKUSCH, AND STEFFEN LEMPP Abstract. Let r be a real number in the unit interval [0, 1]. A set A ⊆ ω Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-02-03 11:22:22 Mathematics Computable function Algorithmically random sequence Busy beaver Theory of computation Computability theory Applied mathematics
90	EXPLICIT COMPUTATION OF GROSS-STARK UNITS OVER REAL QUADRATIC FIELDS BRETT A. TANGEDAL AND PAUL T. YOUNG Dedicated to the memory of David R. Hayes Abstract. We present an effective and practical algorithm for computing G Add to Reading List Source URL: youngp.people.cofc.edu Language: English - Date: 2012-11-29 19:03:18 Algebraic number theory Conjectures Number theory Brumer–Stark conjecture Algebraic number field Bernoulli number P-adic number Artin reciprocity law Valuation Abstract algebra Mathematics Field theory